Temporal Reasoning about Two Concurrent Sequences of Events
نویسندگان
چکیده
منابع مشابه
Qualitative Temporal Reasoning about Vague Events
The temporal boundaries of many real–world events are inherently vague. In this paper, we discuss the problem of qualitative temporal reasoning about such vague events. We show that several interesting reasoning tasks, such as checking satisfiability, checking entailment, and calculating the best truth value bound, can be reduced to reasoning tasks in a well–known point algebra with disjunction...
متن کاملReasoning about Concurrent Objects
Embedded speciications in object-oriented languages such as Eiiel are based on a rigorous approach towards validation, compatibility and reusability of sequential programs. Such speciications are not limited to functional and interface aspects but extend to complexity and, more generally, quantitative aspects in a straightforward way. However concurrent object-oriented languages are still in th...
متن کاملReasoning about Concurrent Indexes
Index data structures such as B+ trees and hash tables are used widely as the core of databases andfile systems. In a world where concurrent systems are common as servers and largely increasing aspersonal computers, we need a way to make sure concurrent implementations do not contain bugs.We use the fact that multiple implementations share a common high-level specification and use<l...
متن کاملCausal judgements about temporal sequences of events in single individuals.
Stimuli were presented in which values of an outcome variable for a single individual were recorded over 24 time periods, and an intervention was introduced at one of the time periods. Participants judged whether and how much the intervention affected the outcome. Judgements were affected by manipulations of the temporal relation between the intervention and a gradual increase in values on the ...
متن کاملCompositional reasoning about events in Interval Temporal Logic
Constantly increasing complexity of computer systems poses big challenges for designers. Extensive testing has proven ineffective and inappropriate [8]. Model Checking [9] and HOL [10] have been proposed and successfully used in the designing process especially in problem areas as real-time, safety-critical and reactive systems. There are several other formal frameworks available, like CSP [11]...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: SIAM Journal on Computing
سال: 2005
ISSN: 0097-5397,1095-7111
DOI: 10.1137/s0097539799362172